De digitale vraagbaak voor het wiskundeonderwijs

home |  vandaag |  gisteren |  bijzonder |  gastenboek |  wie is wie? |  verhalen |  contact

HOME

samengevat

vragen bekijken

een vraag stellen

hulpjes

zoeken

FAQ

links

twitter

boeken

help

inloggen

colofon

Reageren...

Re: Formule driehoek

Ik doe mijn PWS over de sudoku, en zo kwam ik op de vraag hoe je bewijst dat een sudoku maar 1 oplossing heeft. Ik heb al gekeken naar allemaal soorten bewijzen, maar ik kom niet echt verder.

Ik neem aan dat ik zoiets nodig heb:

bewijs door opsplitsing van het onderstelde:

Een mogelijkheid zou de volgende kunnen zijn:
We splitsen p $\Leftrightarrow$ q in p $\Rightarrow$ q en q $\Rightarrow$ p

Iets soortgelijks is als je moet bewijzen dat er een unieke oplossing is voor een bepaald probleem. Je zou dan eerst kunnen bewijzen dat er een oplossing bestaat, en daarna dat die oplossing uniek is.

Zelf had ik al gedacht dat je eerst een algoritme moet bedenken voor het oplossen van een sudoku. (dit heb ik min of meer gedaan, wel vergelijkbaar met de NWD methode). En dat de sudoku dan 1 oplossing heeft, als die d.m.v. de algoritme oplosbaar is. (namelijk als die niet oplosbaar zal zijn zou die meer dan 1 oplossingen hebben, en dus geen 'echte' sudoku zijn.)
Dit is dan ook de reden van mijn vraag, want elke 'goede/echte' sudoku is wel oplosbaar. Ik wil juist weten wanneer een sudoku een 'goede/echte' sudoku is.
(Zo wil ik namelijk kijken of ik een idee kan krijgen wat het minst aantal startwaardes van een sudoku is)

Harmen

Antwoord

Dit is een heel moeilijk probleem en het is nog (steeds) niet opgelost. In het tijdschrift `Notices of the American mathematical Society' (zie de link hieronder) stond een tijdje geleden een artikel waarin het probleem in termen van grafen werd geformuleerd maar dat leidde nog niet tot een bruikbaar antwoord.

Gebruik dit formulier alleen om te reageren op de inhoud van de vraag en/of het antwoord hierboven. Voor het stellen van nieuwe vragen kan je gebruik maken van een vraag stellen in het menu aan de linker kant. Alvast bedankt!

Reactie:
	Klik eerst in het tekstvlak voordat je deze knopjes en tekens gebruikt. Pas op: onderstaande knopjes en speciale karakters werken niet bij ALLE browsers! áâæàåãäßçéêèëíîìïñóôòøõöúûùüýÿ½¼¾€£®© $\forall$$\exists$$\neg$$\wedge$$\vee$$\Leftrightarrow$$\Leftarrow$$\Rightarrow$$\emptyset$$\cap$$\cup$$\supset$$\supseteq$$\not\subset$$\subset$$\subseteq$$\in$$\notin$ $\sim$$\equiv$$\ne$$\pm$$\times$$\div$$\otimes$$\oplus$$\pi$$\leftarrow$$\uparrow$$\to$$\downarrow$ $\sqrt{}$$\sum$$\prod$$\infty$$\smallint$$\Delta$$\nabla$$\partial$$\angle$$\bot$$\cong$$\widehat p$ $\alpha$$\beta$$\gamma$$\delta$$\varepsilon$$\phi$$\theta$$\lambda$$\mu$$\rho$$\sigma$$\tau$$\omega$$\chi$$\Gamma$$\vartheta$$\Lambda$$\Omega$$\Psi$$\zeta$ $\mathbf{N}$ $\mathbf{Z}$ $\mathbf{Q}$ $\mathbf{R}$ $\mathbf{C}$
Categorie:	Formules
Ik ben:	-------------- Maak een keuze --------------- Leerling onderbouw vmbo-havo-vwo Leerling bovenbouw vmbo Leerling bovenbouw havo-vwo Leerling mbo Student hbo Student universiteit 1ste graad ASO-TSO-BSO Overige TSO-BSO 2de graad ASO 3de graad ASO Student Hoger Onderwijs België Student universiteit België Cursist vavo Docent Ouder Iets anders Beantwoorder
Naam:
Emailadres:
Datum:	18-5-2024